Parallelism in logic programs
نویسندگان
چکیده
منابع مشابه
AND Parallelism in Logic Programs
An in te rp re te r fo r log ic programs is defined which executes some goals in p a r a l l e l . OR pa ra l l e l i sm exp lo i t s the pa ra l l e l i sm defined from nondeterminist ic choices, and is essen t ia l l y a replacement fo r backtracking. AND pa ra l l e l i sm comes from solv ing goals in the body of a s ing le clause in p a r a l l e l , and is the only way to exp lo i t pa ra ...
متن کاملRelating Data-Parallelism and (And-) Parallelism in Logic Programs
Much work has been done in the áreas of and-parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types of parallelism offer advantages and disadvantages. Traditional (and-) parallel models offer generality, being able to exploit parallelism in a large class of programs (including that exploited by data parallelism techni...
متن کاملAutomatic Unrestricted Independent And-Parallelism in Logic Programs
We present new algorithms which perform automatic parallelization via source-to-source transformations. The objective is to exploit goal-level, unrestricted independent andparallelism. The proposed algorithms use as targets new parallel execution primitives which are simpler and more flexible than the well-known &/2 parallel operator, which makes it possible to generate better parallel expressi...
متن کاملAnnotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
We present two new algorithms which perform automatic parallelization via source-to-source transformations. The objective is to exploit goal-level, unrestricted independent and-parallelism. The proposed algorithms use as targets new parallel execution primitives which are simpler and more flexible than the well-known &/2 parallel operator. This makes it possible to generate better parallel expr...
متن کاملTowards Granularity Based Control of Parallelism in Logic Programs
Several types of parallelism can be exploited in logic programs while preserving correctness and efficiency, i.e. ensuring that the parallel execution obtains the same results as the sequential one and the amount of work performed is not greater. However, such results do not take into account a number of overheads which appear in practice, such as process creation and scheduling, which can indu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematics and Artificial Intelligence
سال: 1991
ISSN: 1012-2443,1573-7470
DOI: 10.1007/bf01530928